unsigned char src_asm_div_asm[] = {
  0x23, 0x20, 0x64, 0x69, 0x76, 0x69, 0x73, 0x69, 0x6f, 0x6e, 0x0a, 0x70,
  0x6f, 0x70, 0x6c, 0x20, 0x25, 0x65, 0x61, 0x78, 0x0a, 0x70, 0x6f, 0x70,
  0x6c, 0x20, 0x25, 0x65, 0x63, 0x78, 0x0a, 0x64, 0x69, 0x76, 0x20, 0x25,
  0x65, 0x63, 0x78, 0x0a, 0x70, 0x75, 0x73, 0x68, 0x6c, 0x20, 0x25, 0x65,
  0x61, 0x78, 0x0a, 0x6d, 0x6f, 0x76, 0x62, 0x20, 0x28, 0x25, 0x65, 0x73,
  0x70, 0x29, 0x2c, 0x20, 0x25, 0x63, 0x6c, 0x0a, 0x0a
};
unsigned int src_asm_div_asm_len = 69;
